How Can Computer Programs Reason?

نویسنده

  • Peter Szolovits
چکیده

Computer programs are increasingly being called on to suggest or to make decisions in medical applications. Traditional methods of decision making based on flowcharts and probabilistic classification have proven to be too cumbersome to apply to large domains. As a result, programs employing artificial intelligence methods were introduced in the 1970’s. Deficiencies in those methods limited the capabilities of the resulting programs and suggested many research problems now being pursued in medical AI. Current research plans call for progress in research on representing the causal, pathophysiologic basis of disease, temporal evolution of cases, likelihood and utility, and the use of past experience in problem-solving. In addition, efforts to integrate progress in various areas and to demonstrate the applicability of the new methods are also key. A new generation of programs will result, with more sophisticated capabilities to bring to bear on the difficult problems of medical reasoning. The computing elements of health care are becoming more and more significant, and increasing sophistication is demanded of the decision-making components of medical devices. Although this trend is generic to all of medicine, it is perhaps most advanced and clearly visible in the types of instruments that are the focus of the cardiostim meeting. This paper describes developments in the application of artificial intelligence (AI) methods to building programs that reason in a manner approximating the performance of human health practitioners. In addition, it points to some of the current outstanding research problems in medical AI and suggests some promising current research directions.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Primer for Automated Reasoning: Puzzles, People, and Programs That Involve Reasoning

Do you enjoy solving puzzles, playing chess, assisting others in careful reasoning, and—often much more difficult—finding proofs of theorems in mathematics or logic? Do you know that computer programs exist that can assist you in such activities in unexpected ways and, sometimes, find answers that have eluded fine minds for many decades? Of course you know that computers can cope with gigantic ...

متن کامل

Proving correctness of modular functional programs

One reason for studying and programming in functional programming languages is that they are easy to reason about, yet there is surprisingly little work on proving the correctness of large functional programs. In this dissertation I show how to provide a system for proving the correctness of large programs written in a major functional programming language, ML [MTH90]. ML is split into two part...

متن کامل

Visual Reasoning With Graphs

A bstract Understanding diagrams is an important part of human cognition. Computer programs need to understand and reason using diagrams to communicate effectively with people. This paper explains how line graphs can be interpreted in a domain independent manner. We present a computer program called SKETCHY that reasons about physical phenomena visually by using line graphs. SKETCHY can interpr...

متن کامل

Beauty in the Beast A Functional Semantics for the Awkward Squad

It can be very difficult to debug impure code, let alone prove its correctness. To address these problems, we provide a functional specification of three central components of Peyton Jones’s awkward squad: teletype IO, mutable state, and concurrency. By constructing an internal model of such concepts within our programming language, we can test, debug, and reason about programs that perform IO ...

متن کامل

Ownership, Pointer Arithmetic and Memory Separation

Ownership systems provide a way to reason about data structures in a hierarchical fashion. We propose a small but extensible language featuring an ownership system and data invariants. It is then extended with pointer arithmetic, showing how to specify array invariants. We show how to express the global properties of the ownership system in the logic. This method can be used with a memory model...

متن کامل

Functional Video Games in the CS1 Classroom

Over the past decade enrollments in Computer Science undergraduate programs have drastically dropped while simultaneously seeing demand for computer scientists in the job market increase. The reason for this disconnect is, in part, due to the perception new potential students have of programming as a dull activity requiring no creativity, very little social interaction, and endless hours of cod...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006